Optimal. Leaf size=301 \[ \frac{442 b^{27/4} \sqrt [6]{x} \left (\sqrt{a} \sqrt [3]{x}+\sqrt{b}\right ) \sqrt{\frac{a x^{2/3}+b}{\left (\sqrt{a} \sqrt [3]{x}+\sqrt{b}\right )^2}} F\left (2 \tan ^{-1}\left (\frac{\sqrt [4]{a} \sqrt [6]{x}}{\sqrt [4]{b}}\right )|\frac{1}{2}\right )}{14421 a^{25/4} \sqrt{a x+b \sqrt [3]{x}}}-\frac{884 b^6 \sqrt{a x+b \sqrt [3]{x}}}{14421 a^6}+\frac{884 b^5 x^{2/3} \sqrt{a x+b \sqrt [3]{x}}}{24035 a^5}-\frac{6188 b^4 x^{4/3} \sqrt{a x+b \sqrt [3]{x}}}{216315 a^4}+\frac{476 b^3 x^2 \sqrt{a x+b \sqrt [3]{x}}}{19665 a^3}-\frac{28 b^2 x^{8/3} \sqrt{a x+b \sqrt [3]{x}}}{1311 a^2}+\frac{4 b x^{10/3} \sqrt{a x+b \sqrt [3]{x}}}{207 a}+\frac{2}{9} x^4 \sqrt{a x+b \sqrt [3]{x}} \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.895757, antiderivative size = 301, normalized size of antiderivative = 1., number of steps used = 11, number of rules used = 6, integrand size = 19, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.316 \[ \frac{442 b^{27/4} \sqrt [6]{x} \left (\sqrt{a} \sqrt [3]{x}+\sqrt{b}\right ) \sqrt{\frac{a x^{2/3}+b}{\left (\sqrt{a} \sqrt [3]{x}+\sqrt{b}\right )^2}} F\left (2 \tan ^{-1}\left (\frac{\sqrt [4]{a} \sqrt [6]{x}}{\sqrt [4]{b}}\right )|\frac{1}{2}\right )}{14421 a^{25/4} \sqrt{a x+b \sqrt [3]{x}}}-\frac{884 b^6 \sqrt{a x+b \sqrt [3]{x}}}{14421 a^6}+\frac{884 b^5 x^{2/3} \sqrt{a x+b \sqrt [3]{x}}}{24035 a^5}-\frac{6188 b^4 x^{4/3} \sqrt{a x+b \sqrt [3]{x}}}{216315 a^4}+\frac{476 b^3 x^2 \sqrt{a x+b \sqrt [3]{x}}}{19665 a^3}-\frac{28 b^2 x^{8/3} \sqrt{a x+b \sqrt [3]{x}}}{1311 a^2}+\frac{4 b x^{10/3} \sqrt{a x+b \sqrt [3]{x}}}{207 a}+\frac{2}{9} x^4 \sqrt{a x+b \sqrt [3]{x}} \]
Antiderivative was successfully verified.
[In] Int[x^3*Sqrt[b*x^(1/3) + a*x],x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 80.9983, size = 289, normalized size = 0.96 \[ \frac{2 x^{4} \sqrt{a x + b \sqrt [3]{x}}}{9} + \frac{4 b x^{\frac{10}{3}} \sqrt{a x + b \sqrt [3]{x}}}{207 a} - \frac{28 b^{2} x^{\frac{8}{3}} \sqrt{a x + b \sqrt [3]{x}}}{1311 a^{2}} + \frac{476 b^{3} x^{2} \sqrt{a x + b \sqrt [3]{x}}}{19665 a^{3}} - \frac{6188 b^{4} x^{\frac{4}{3}} \sqrt{a x + b \sqrt [3]{x}}}{216315 a^{4}} + \frac{884 b^{5} x^{\frac{2}{3}} \sqrt{a x + b \sqrt [3]{x}}}{24035 a^{5}} - \frac{884 b^{6} \sqrt{a x + b \sqrt [3]{x}}}{14421 a^{6}} + \frac{442 b^{\frac{27}{4}} \sqrt{\frac{a x^{\frac{2}{3}} + b}{\left (\sqrt{a} \sqrt [3]{x} + \sqrt{b}\right )^{2}}} \left (\sqrt{a} \sqrt [3]{x} + \sqrt{b}\right ) \sqrt{a x + b \sqrt [3]{x}} F\left (2 \operatorname{atan}{\left (\frac{\sqrt [4]{a} \sqrt [6]{x}}{\sqrt [4]{b}} \right )}\middle | \frac{1}{2}\right )}{14421 a^{\frac{25}{4}} \sqrt [6]{x} \left (a x^{\frac{2}{3}} + b\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate(x**3*(b*x**(1/3)+a*x)**(1/2),x)
[Out]
_______________________________________________________________________________________
Mathematica [C] time = 0.127625, size = 155, normalized size = 0.51 \[ \frac{2 \sqrt [3]{x} \left (24035 a^7 x^{14/3}+26125 a^6 b x^4-220 a^5 b^2 x^{10/3}+308 a^4 b^3 x^{8/3}-476 a^3 b^4 x^2+884 a^2 b^5 x^{4/3}-6630 b^7 \sqrt{\frac{b}{a x^{2/3}}+1} \, _2F_1\left (\frac{1}{4},\frac{1}{2};\frac{5}{4};-\frac{b}{a x^{2/3}}\right )-2652 a b^6 x^{2/3}-6630 b^7\right )}{216315 a^6 \sqrt{a x+b \sqrt [3]{x}}} \]
Antiderivative was successfully verified.
[In] Integrate[x^3*Sqrt[b*x^(1/3) + a*x],x]
[Out]
_______________________________________________________________________________________
Maple [A] time = 0.05, size = 264, normalized size = 0.9 \[{\frac{2\,{x}^{4}}{9}\sqrt{b\sqrt [3]{x}+ax}}+{\frac{4\,b}{207\,a}{x}^{{\frac{10}{3}}}\sqrt{b\sqrt [3]{x}+ax}}-{\frac{28\,{b}^{2}}{1311\,{a}^{2}}{x}^{{\frac{8}{3}}}\sqrt{b\sqrt [3]{x}+ax}}+{\frac{476\,{b}^{3}{x}^{2}}{19665\,{a}^{3}}\sqrt{b\sqrt [3]{x}+ax}}-{\frac{6188\,{b}^{4}}{216315\,{a}^{4}}{x}^{{\frac{4}{3}}}\sqrt{b\sqrt [3]{x}+ax}}+{\frac{884\,{b}^{5}}{24035\,{a}^{5}}{x}^{{\frac{2}{3}}}\sqrt{b\sqrt [3]{x}+ax}}-{\frac{884\,{b}^{6}}{14421\,{a}^{6}}\sqrt{b\sqrt [3]{x}+ax}}+{\frac{442\,{b}^{7}}{14421\,{a}^{7}}\sqrt{-ab}\sqrt{{a \left ( \sqrt [3]{x}+{\frac{1}{a}\sqrt{-ab}} \right ){\frac{1}{\sqrt{-ab}}}}}\sqrt{-2\,{\frac{a}{\sqrt{-ab}} \left ( \sqrt [3]{x}-{\frac{\sqrt{-ab}}{a}} \right ) }}\sqrt{-{a\sqrt [3]{x}{\frac{1}{\sqrt{-ab}}}}}{\it EllipticF} \left ( \sqrt{{a \left ( \sqrt [3]{x}+{\frac{1}{a}\sqrt{-ab}} \right ){\frac{1}{\sqrt{-ab}}}}},{\frac{\sqrt{2}}{2}} \right ){\frac{1}{\sqrt{b\sqrt [3]{x}+ax}}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int(x^3*(b*x^(1/3)+a*x)^(1/2),x)
[Out]
_______________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \[ \int \sqrt{a x + b x^{\frac{1}{3}}} x^{3}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(sqrt(a*x + b*x^(1/3))*x^3,x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \[{\rm integral}\left (\sqrt{a x + b x^{\frac{1}{3}}} x^{3}, x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(sqrt(a*x + b*x^(1/3))*x^3,x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \[ \int x^{3} \sqrt{a x + b \sqrt [3]{x}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x**3*(b*x**(1/3)+a*x)**(1/2),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [F] time = 0., size = 0, normalized size = 0. \[ \int \sqrt{a x + b x^{\frac{1}{3}}} x^{3}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(sqrt(a*x + b*x^(1/3))*x^3,x, algorithm="giac")
[Out]